Baseline Assessment and Prioritization Framework for IVHM Integrity Assurance Enabling Capabilities

Fundamental to vehicle health management is the deployment of systems incorporating advanced technologies for predicting and detecting anomalous conditions in highly complex and integrated environments. Integrated structural integrity health monitoring, statistical algorithms for detection, estimation, prediction, and fusion, and diagnosis supporting adaptive control are examples of advanced technologies that present considerable verification and validation challenges. These systems necessitate interactions between physical and software-based systems that are highly networked with sensing and actuation subsystems, and incorporate technologies that are, in many respects, different from those employed in civil aviation today. A formidable barrier to deploying these advanced technologies in civil aviation is the lack of enabling verification and validation tools, methods, and technologies. The development of new verification and validation capabilities will not only enable the fielding of advanced vehicle health management systems, but will also provide new assurance capabilities for verification and validation of current generation aviation software which has been implicated in anomalous in-flight behavior. This paper describes the research focused on enabling capabilities for verification and validation underway within NASA s Integrated Vehicle Health Management project, discusses the state of the art of these capabilities, and includes a framework for prioritizing activities

New and improved demonstrations, each illustrating a single scientific paper

Thesis (Ed.M.)--Boston Universit

Scientific questions for the exploration of the terrestrial planets and Jupiter - Advanced planetary missions technology program Progress report

Scientific questions and experimental design for planetary exploration of Jupiter, Mars, Mercury, and Venu

Solar-driven variation in the atmosphere of Uranus

Long-term measurements (1972-2015) of the reflectivity of Uranus at 472 and 551 nm display variability that is incompletely explained by seasonal effects. Spectral analysis shows this non-seasonal variability tracks the 11-year solar cycle. Two mechanisms could cause solar modulation, (a) nucleation onto ions or electrons created by galactic cosmic rays (GCR), or (b) UV-induced aerosol colour changes. Ion-aerosol theory is used to identify expected relationships between reflectivity fluctuations and GCR flux, tested with multiple regression and compared to the linear response predicted between reflectivity and solar UV flux. The statistics show that 24% of the variance in reflectivity fluctuations at 472 nm is explained by GCR ion-induced nucleation, compared to 22% for a UV-only mechanism. Similar GCR-related variability exists in Neptune’s atmosphere, hence the effects found at Uranus provide the first example of common variability in two planetary atmospheres driven through energetic particle modulation by their host star

Test-Retest Reliability of Postural Control Assessment on Biodex BioSway™

Background. Recent protocols for posturographic assessment of postural control and balance have included head shake test conditions to challenge the vestibular contributions of postural control in an effort to increase the diagnostic accuracy of identifying individuals with impaired balance. However, evidence is limited regarding the test-retest reliability of such assessment protocols. Purpose. The purpose of this study was twofold: to determine the test-retest reliability of postural control assessment on the Biodex Biosway™, an accessible and field expedient tool for posturographic assessment, and to determine the test-retest reliability of the Head Shake Sensory Interaction and Balance Test (HS-SIB), an adaptation of the modified Clinical Test of Sensory Interaction and Balance (mCTSIB) which adds two head shake conditions to challenge the vestibular contributions to postural control. Study Design. This was a correlational time series cohort study completed in a biomechanics laboratory. Methods. The sample consisted of nineteen healthy adults (10 females, 9 males). Sway Index, Equilibrium Score, and the area of the ellipse enclosing 95% of the anterior-posterior (AP) and medial-lateral (ML) center of gravity (COG) displacement (AREA95) are the 3 summary variables. Standard Error of Measurement (SEM) and Minimum Detectable Change (MDC) are also reported. Results. Test-retest reliability was generally poor with limited exceptions. Moderate to good reliability was observed for the more challenging stance conditions (ICC range 0.58-0.81), including those with head shake. Conclusions. Field-expedient systems, such as the Biodex BioSway™, may offer reliable posturographic testing where gold-standard methods are not available. Clinicians should be aware that less demanding test conditions have limited reliability; however, test-retest reliability of this assessment tool is improved with more challenged stance conditions and the inclusion of a head shake task

New measures to capture end of life concerns in Huntington disease: Meaning and Purpose and Concern with Death and Dying from HDQLIFE (a patient-reported outcomes measurement system).

PURPOSE: Huntington disease (HD) is an incurable terminal disease. Thus, end of life (EOL) concerns are common in these individuals. A quantitative measure of EOL concerns in HD would enable a better understanding of how these concerns impact health-related quality of life. Therefore, we developed new measures of EOL for use in HD. METHODS: An EOL item pool of 45 items was field tested in 507 individuals with prodromal or manifest HD. Exploratory and confirmatory factor analyses (EFA and CFA, respectively) were conducted to establish unidimensional item pools. Item response theory (IRT) and differential item functioning analyses were applied to the identified unidimensional item pools to select the final items. RESULTS: EFA and CFA supported two separate unidimensional sets of items: Concern with Death and Dying (16 items), and Meaning and Purpose (14 items). IRT and DIF supported the retention of 12 Concern with Death and Dying items and 4 Meaning and Purpose items. IRT data supported the development of both a computer adaptive test (CAT) and a 6-item, static short form for Concern with Death and Dying. CONCLUSION: The HDQLIFE Concern with Death and Dying CAT and corresponding 6-item short form, and the 4-item calibrated HDQLIFE Meaning and Purpose scale demonstrate excellent psychometric properties. These new measures have the potential to provide clinically meaningful information about end-of-life preferences and concerns to clinicians and researchers working with individuals with HD. In addition, these measures may also be relevant and useful for other terminal conditions

A Survey on Retrieval of Mathematical Knowledge

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.Comment: CICM 2015, 20 page

Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations

Symbolic model checking by using BDDs has greatly improved the applicability of model checking. Nevertheless, BDD based symbolic model checking can still be very memory and time consuming. One main reason is the complex transition relation of systems. Sometimes, it is even not possible to generate the transition relation, due to its exhaustive memory requirements. To diminish this problem, the use of partitioned transition relations has been proposed. However, there are still systems which can not be verified at all. Furthermore, if the granularity of the partitions is too fine, the time required for verification may increase. In this paper we target the symbolic verification of asynchronous concurrent systems. For such systems we present an approach which uses similarities in the transition relation to get further memory reductions and runtime improvements. By applying our approach, even the verification of systems with an previously intractable transition relation becomes feasible.Comment: In Proceedings GandALF 2011, arXiv:1106.081

On religion and cultural policy: notes on the Roman Catholic Church

This paper argues that religious institutions have largely been neglected within the study of cultural policy. This is attributed to the inherently secular tendency of most modern social sciences. Despite the predominance of the ‘secularisation paradigm’, the paper notes that religion continues to promote powerful attachments and denunciations. Arguments between the ‘new atheists’, in particular, Richard Dawkins, and their opponents are discussed, as is Habermas’s conciliatory encounter with Joseph Ratzinger (later Pope Benedict XVI). The paper then moves to a consideration of the Roman Catholic Church as an agent of cultural policy, whose overriding aim is the promotion of ‘Christian consciousness’. Discussion focuses on the contested meanings of this, with reference to (1) the deliberations of Vatican II and (2) the exercise of theological and cultural authority by the Pope and the Congregation for the Doctrine of the Faith (CDF). It is argued that these doctrinal disputes intersect with secular notions of social and cultural policy and warrant attention outside the specialist realm of theological discourse

Gender Differences in Acute and Chronic Pain in the Emergency Department: Results of the 2014 Academic Emergency Medicine Consensus Conference Pain Section

Pain is a leading public health problem in the United States, with an annual economic burden of more than $630 billion, and is one of the most common reasons that individuals seek emergency department (ED) care. There is a paucity of data regarding sex differences in the assessment and treatment of acute and chronic pain conditions in the ED. The Academic Emergency Medicine consensus conference convened in Dallas, Texas, in May 2014 to develop a research agenda to address this issue among others related to sex differences in the ED. Prior to the conference, experts and stakeholders from emergency medicine and the pain research field reviewed the current literature and identified eight candidate priority areas. At the conference, these eight areas were reviewed and all eight were ratified using a nominal group technique to build consensus. These priority areas were: 1) gender differences in the pharmacological and nonpharmacological interventions for pain, including differences in opioid tolerance, side effects, or misuse; 2) gender differences in pain severity perceptions, clinically meaningful differences in acute pain, and pain treatment preferences; 3) gender differences in pain outcomes of ED patients across the life span; 4) gender differences in the relationship between acute pain and acute psychological responses; 5) the influence of physician-patient gender differences and characteristics on the assessment and treatment of pain; 6) gender differences in the influence of acute stress and chronic stress on acute pain responses; 7) gender differences in biological mechanisms and molecular pathways mediating acute pain in ED populations; and 8) gender differences in biological mechanisms and molecular pathways mediating chronic pain development after trauma, stress, or acute illness exposure. These areas represent priority areas for future scientific inquiry, and gaining understanding in these will be essential to improving our understanding of sex and gender differences in the assessment and treatment of pain conditions in emergency care settings